Deductive verification of simple foraging robotic behaviours
نویسندگان
چکیده
منابع مشابه
Deductive verification of simple foraging robotic behaviours
Purpose – The purpose of this paper is to consider the logical specification, and automated verification, of high-level robotic behaviours. Design/methodology/approach – The paper uses temporal logic as a formal language for providing abstractions of foraging robot behaviour, and successively extends this to multiple robots, items of food for the robots to collect, and constraints on the real-t...
متن کاملDeductive Verification
Clocked transition systems is a computational model for modelling real-time systems. Using this model we are able to use deductive verification for proving properties over our systems.
متن کاملDeductive Software Verification
Deductive Software Verification is characterized by three ingredients: first, target programs as well as the properties to be verified are represented as logical formulae that must be proven to be valid; second, validity is proven by deduction in a logic calculus; third, computer assistance is used for proof search and bookkeeping. In contrast to static analysis and model checking it is possibl...
متن کاملDeductive Verification of Reactive Systems
Fall 2007: Assignment No. 3 Due Date: 12.21.07 December 10, 2007 The solution to this assignment should be submitted as attachment to an e-mail message. The textual part should be prepared as a postscript, PDF, or Word document. All submitted smv and pf files should be submitted as separate files. You may group all relevant files into a single file, using ZIP or TAR. 1 Peterson(N) Algorithm In ...
متن کاملDeductive Verification of Modular Systems
EEective veriication methods, both deductive and algorith-mic, exist for the veriication of global system properties. In this paper, we introduce a formal framework for the modular description and verii-cation of parameterized fair transition systems. The framework allows us to apply existing global veriication methods, such as veriication rules and diagrams, in a modular setting. Transition sy...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Intelligent Computing and Cybernetics
سال: 2009
ISSN: 1756-378X
DOI: 10.1108/17563780911005818